AI for Teachers: Turn Lessons into Songs